Modelling timed reactive systems from natural-language requirements

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Formal Model for Natural-Language Timed Requirements of Reactive Systems

To analyse the behaviour of reactive systems formally, it is necessary to build a model. At the very beginning of the development, typically only natural language requirements are documented. We present a formal model, named Data-Flow Reactive Systems (DFRS), which can be automatically obtained from natural language requirements that may also describe temporal properties. We prove that a DFRS c...

متن کامل

Demand and Requirements for Natural Language Systems

T h i s paper p r e s e n t s t he r e s u l t s o f a market I n q u i r y on German n a t u r a l language systems (NLS) , wh i ch may p r o v i d e a b a s i s f o r d i s c u s s i o n s about a p p l i c a t i o n s o f A l sys tems . Fea tu res o f a p p l i c a t i o n a reas in wh i ch NLS a re d e s i r e d are ana l yzed and r e q u i r e m e n t s f o r c a p a b i l i t i e s o f NL...

متن کامل

A Timed Specification Language for Concurrent Reactive Systems

In this paper we present a simple real-time speciication language SL time , for which we deene a semantics based on timing diagrams. An example of a speciication will illustrate the meaning of the single parts of SL time. The aim of our approach is to develop and prove correct programs in an occam dialect PL time which contains timing operators and concurrency with synchronous communication. Th...

متن کامل

MoDeST - A Modelling and Description Language for Stochastic Timed Systems

This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such as iteration, alternatives, atomic statements, and exception handling – with means to describe complex systems in a compositional manner. In addition, MoDeST incorporates means to describe important phenomena such as no...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Formal Aspects of Computing

سال: 2016

ISSN: 0934-5043,1433-299X

DOI: 10.1007/s00165-016-0387-x